1. Agile Modellierung mit UML
پدیدآورنده: / Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Behavioral Specifications of Businesses and Systems
پدیدآورنده: edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science).,Management information systems.,Software engineering.
3. Engineering modeling languages :
پدیدآورنده: Benoit Combemale, University of Rennes I, France, Robert B. France, Colorado State University, USA, Jean-Marc Jézéquel, University of Rennes I, France, Bernhard Rumpe, RWTH Aachen University and Fraunhofer FIT, Germany, James Steel, AEHRC, CSIRO, Australia, Didier Vojtisek, Inria, France.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software -- Development.,Engineering -- Data processing.,Modeling languages (Computer science)
رده :
TA343
.
B466
9999
4. Foundations of Computer Softwar
پدیدآورنده: [electronic resource]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic books
5. Modeling with UML : language, concepts, methods
پدیدآورنده: / Bernhard Rumpe
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: UML (Computer science),Computer software--Development,Java (Computer program language)
6. Modellierung mit UML
پدیدآورنده: / Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
7. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
پدیدآورنده: Manfred Broy, Bernhard Rumpe, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1526
8. Software Engineering and Formal Methods
پدیدآورنده: \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
9. Software Engineering and Formal Methods
پدیدآورنده: \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
10. Software Engineering and Formal Methods
پدیدآورنده: / Radu Calinescu, Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
11. The UML profile for framework architectures
پدیدآورنده: / Marcus Fontoura, Wolfgang Pree, and Bernhard Rumpe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer architecture,UML (Computer science)
رده :
QA76
.
9
.
A73
,.
F65
2001
12. The UML profile for framework architectures
پدیدآورنده: / Marcus Fontoura, Wolfgang Pree, and Bernhard Rumpe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer architecture,UML (Computer science)
رده :
QA76
.
9
.
A73
,.
F65
2001
13. The unified modeling language : UML'99 : beyond the standard : Second International Workshop, Fort Collins, Co, October 28-30, 1999 : proceedings
پدیدآورنده: Robert France, Bernhard Rumpe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1723
14. Time Systems-Based Engineering of Embedded Real-Model
پدیدآورنده: / tzعHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Sch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
15. Trusted Cloud Computing
پدیدآورنده: / Helmut Krcmar, Ralf Reussner, Bernhard Rumpe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
